$\forall$${\it es}$:ES, $l$:IdLnk, ${\it tg}$:Id, $L$:Knd List. only events in $L$ send on $l$ with ${\it tg}$ $\in$ Prop